1

On the decidability of equivalence for deterministic pushdown transducers

Oscar H. Ibarra, Louis E. Rosier
Journal:
Information Processing Letters
Year:
1981
Language:
english
File:
PDF, 637 KB
english, 1981
2

Simple programming languages and restricted classes of turing machines

Oscar H. Ibarra, Louis E. Rosier
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 2.36 MB
english, 1983
3

A note on the complexity of program evaluation

Oscar H. Ibarra, Brian S. Leininger, Louis E. Rosier
Journal:
Theory of Computing Systems
Year:
1984
Language:
english
File:
PDF, 846 KB
english, 1984
4

On restricted one-counter machines

Oscar H. Ibarra, Louis E. Rosier
Journal:
Theory of Computing Systems
Year:
1981
Language:
english
File:
PDF, 273 KB
english, 1981
5

On the control power of integer division

Oscar H. Ibarra, Shlomo Moran, Louis E. Rosier
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 1.77 MB
english, 1983
8

The equivalence problem and correctness formulas for a simple class of programs

Oscar H. Ibarra, Louis E. Rosier
Journal:
Information and Control
Year:
1985
Language:
english
File:
PDF, 1.04 MB
english, 1985
10

On simple programs with primitive conditional statements

Oscar H. Ibarra, Louis E. Rosier
Journal:
Information and Control
Year:
1985
Language:
english
File:
PDF, 950 KB
english, 1985
11

Some characterizations of multihead finite automata

Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier
Journal:
Information and Control
Year:
1985
Language:
english
File:
PDF, 531 KB
english, 1985